A Simple Interpretation of Quantity Calculus
نویسندگان
چکیده
A simple interpretation of quantity calculus is given. Quantities are described as two-place functions from objects, states or processes (or some combination them) into numbers that satisfy the mutual measurability property. Quantity based on a notational simplification concept quantity. key element we consider units to be intentionally unspecified measures exactly specified processes. This combines all advantages calculating with numerical values (since quantities numbers, can do them everything numbers) and standardly conceived (calculus invariant choice has built-in dimensional analysis). also shows standard metaphysics mathematics their magnitudes not needed for calculus. At end article, arguments given defined here pivotal in understanding quantitative approach nature. As an application this calculus, easy proof homogeneity physical laws
منابع مشابه
A Robust Interpretation of Duration Calculus
As embedded systems become more and more complex, early availability of unambiguous specification of their intended behaviour has become an important factor for quality and timely delivery. Consequently, the quest for automatic analysis methods for specifications arises. This quest becomes even more pronounced if specifications are to be formal, because formal specifications are often found to ...
متن کاملA Computational Interpretation of the -calculus
This paper proposes a simple computational interpretation of Parigot’s -calculus. The -calculus is an extension of the typed -calculus which corresponds via the Curry-Howard correspondence to classical logic. Whereas other work has given computational interpretations by translating the -calculus into other calculi, I wish to propose here a direct computational interpretation. This interpretatio...
متن کاملA Simple -Calculus Manipulation Tool
The-calculus is a challenge for tool generation software, as it is subject to frequent changes. A speciication of desirable functionality of tools for manipulating-calculus expressions is given, and its extensibility is studied. The diiculties encountered during speciication are discussed, as well as several proposals for easier tool speciication.
متن کاملQuantity implicatures, exhaustive interpretation, and rational conversation
Quantity implicatures are inferences triggered by an utterance based on what other utterances a speaker could have made instead. Using ideas and formalisms from game theory, I demonstrate that these inferences can be explained in a strictly Gricean sense as rational behavior. To this end, I offer a procedure for constructing the context of utterance insofar as it is relevant for quantity reason...
متن کاملA Simple Calculus of Exception Handling
We introduce a simply-typed λ-calculus (λexn) featuring an ML-like exception handling mechanism. This calculus, whose type system corresponds to classical logic through the Curry-Howard isomorphism, satifies several interesting properties: among other, Church-Rosser, subject reduction, and strong-normalisation. Moreover, its typing system ensures that the reduction of well-typed expressions can...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Axiomathes
سال: 2022
ISSN: ['1122-1151', '1572-8390']
DOI: https://doi.org/10.1007/s10516-021-09609-9